Mirror, Mirror in My Hand
نویسندگان
چکیده
Since Pnueli's seminal paper in 1977, Temporal Logic has been used as a formalism for specifying and verifying the correctness of reactive systems. In this paper, we show that, besides its expressive power, Temporal Logic enjoys a very strong structural property: it is categorical on processes. That is, we show how temporal specifications (as theories) can be embedded in categories of process behaviour, and out of this adjunction we build an institution which is categorical in the sense of Meseguer. This characterisation means that temporal logic is, in a sense, "sound and complete" with respect to process specification and interconnection techniques. TABLE OF CONTENTS Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1 Process behaviours. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2 Process specifications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 3 Back and Forth Between Th and Proc......................................... 11 4 Object-based specification...................................................... 13 5 A categorical institution........................................................ 16 Concluding remarks. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 References. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 (*) This work was partially supported by the Esprit BRA 8035 (MODELAGE), the HCM Scientific Network MEDICIS, and JNICT under contract PBIC/P/MAT/1629/93. 2 J.L.Fiadeiro & J.F.Costa
منابع مشابه
Immediate Effect of Mirror Therapy Using Pegboard Training on Hand Function and Muscle Activities in Individuals with Asymmetrical Hand Function
Objectives: Hand function is critical for daily life and work, especially with the use of electronic devices. This study determined the effect of mirror therapy in individuals with asymmetrical hand function. Method: Forty-two men with asymmetrical hand function were recruited. All participants were randomly divided into two groups: sham control (n = 21) and mirror therapy (n = 21). Both group...
متن کاملبررسی تأثیر آئینه درمانی بر عملکرد دست بیماران مبتلا به آسیب های ارتوپدیک
Background : Mirror therapy as a neural based rehabilitation technique, produces illusion of two healthy limbs for the brain. The aim of the present study was to determine effects of mirror therapy in restoring hand function in patients with active Range of Motion (ROM) impairments following orthopaedic injuries. Methods: In a randomised controlled trial, 30 patients with active ROM impairm...
متن کاملThe Effect of Motor Training in Mirror Therapy on Gross Motor Skills of the Affected Hand in Children With Hemiplegia
Objectives: Spastic hemiplegia cerebral palsy is the second type of cerebral palsy among pre-mature infants, which affects the mobility of one side of the body by impairing the brain’s ability to send nerve impulse to the muscles. The present research aims to examine the effect of motor training in mirror therapy on the gross motor skills in Spastic Hemiplegia Cerebral Palsy (SHCP) childr...
متن کاملEffect of Mirror Therapy on Upper Limb Function: A Single Subject Study
Objectives: Mirror therapy is a unique treatment with a touch of modality that is purported to improve the motor function of the affected limb in individuals with hemiplegia. Previous studies have focused on the neuro-physiological factors underlying the mechanism of the clinical effect of this technique. The present study aims to understand the mechanism using the rehabilitation method and neu...
متن کاملThe effect of emotional processes on the performance of mirror neuron system in people with ADHD traits
Introduction Mirror neurons play an important role in the understanding of emotional functions. On the other hand, ADHD people are having difficulty understanding both emotional aspects. Therefore, the purpose of this study was to investigate the effect of the emotional processes on the functioning of the mirror neuron system in people with ADHD traits. Materials and Methods At first, 500 ...
متن کامل